how to factorize a polynomial in Python